Preface

Different from traditional tax audit, supervision with self-audit is a combination of audit by the taxpayer himself and audit by the tax authority. This paper mainly studies a taxpayer’s optimal policy of tax evasion under supervision with self-audit and its related properties, in order to deduce some effective suggestions and theoretical bases to restrain tax evasion. Assuming that only a certain proportion of evaded tax can be discovered when the audit is executed, the authors first formulate a static model with self-audit. This model is divided into two stages. At the first stage, taxpayers declare their taxes, then the tax authority chooses audit objects, based on a known probability, and announces the result; if the taxpayer is chosen, he will enter the second stage, during which he has a chance to pay the evaded tax and the corresponding late fees and then is audited by the tax authority. The authors show the existence and uniqueness of the optimal amount of tax evasion at the first stage and the optimal proportion to self-expose at the second stage. The authors also discuss the related properties of the interior solution, and do elasticity analyses on some parameters. Besides, the authors extend the static model into the corresponding two-period model, and study the existence and uniqueness of the solution of the extended model. Finally, under the assumption that tax evasion can only be discovered with a certain probability when the audit is executed, the authors formulate another static model with self-audit and investigate its properties. This research is partially supported by the National Natural Science Foundation of China under Grant Nos. 60674082, 70221001, and 70731003.     

椭圆柱及旋转椭球导体面的静电张力探讨

文章基于一定平面与椭圆柱、椭球的截痕均为椭圆的性质和边值问题的唯一性定理,给出了一种计算一类导体静电表面张力的简捷方法:几何归类解法,规避了引用广义坐标和进行保角变换;同时,通过深入的探讨而指出了在静电表面张力分析中存在的误解和定势思维障碍。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

Quantale上代数余核的一点注记

研究了代数余核的某些性质，同时亦探讨了代数余核与子Quantales之间的联系．     

液体分子自由程压力系数与温度系数研究

Ｊａｃｏｂｓｏｎ在Ｅｙｒｉｎｇ分子模型基础上提出了液体分子自由程理论．根据这个理论，液体分子自由程即分子表面之间的距离应为Ｌ＝２Ｖａ／Ｙ．本文在Ｊａｃｏｂｓｏｎ理论基础上，给出了液体分子自由程压力系数与温度系数两个参量，研究了部分烷烃、烯烃、醇、苯及其卤代物的自由程压力系数与温度系数．在以后的研究中，我们还发现这两个参量与分子力及液体声速系数有密切联系     

硫酸钾水溶液热力学性质的研究

用钾离子选择性电极测定硫酸钾水溶液中缔合反应在不同温度、不同离子强度时△H°、△G°、△S°.     

2001年中国物流发展回顾

近几年,物流在中国迅速发展,受到了各界广泛的关注。本文总结了过去的一年中我国物流业发展的一些特点,并指出了现阶段我国物流发展中仍然存在的一些问题。针对这些特点和问题,对我国物流的发展提出了一些相关的政策建议。     

广东实施峰谷电价及其效果探讨

研究了广东省的峰谷电价政策及其实施效果。通过对佛山市某些典型大工业用户依据电价政策变化而进行的负荷调整情况的分析表明峰谷电价新政策在一定程度上促使了企业进行生产的重新安排以减少电费开支，并在总体上促进了电力消费。     

高师化学实验课程体系改革的探讨与实践

我国的化学教育能否尽快跟上世界化学的发展潮流,其关键是高等师范院校的化学专业能否培养出适应21世纪所需要的能够从事化学教育和科学研究的有用之才.尤其是随着科学技术水平的不断提高,新技术的不断涌现,更要求所培养出的化学专业毕业生具有较强的实验操作和实验设计能力,能够较好的较全面的掌握综合实验技术和实验方法.因此,传统的有机、无机、分析、物化的高师化学实验课程体系已经不能适应这种形势的需要.     

计算力学量平均值的一种方法

论述了量子力学中的海尔曼-费曼定理的内容和应用范围，重点阐明应用海尔曼-费曼定理求力学量平均值的方法，并探讨了粒子在中心力场中的运动．